Model checkers - PDFSEARCH.IO - Document Search Engine

Model checkers
Results: 102

#	Item
81	i i “p02c00˙bmc” — [removed] — 10:13 — page 457 — #3 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:48 Logic Logic in computer science Linear temporal logic Model checkers Model checking Computation tree logic Stable model semantics Modal logic SPIN model checker Temporal logic Theoretical computer science Mathematical logic
82	TIOA Model Checker User Guide and Reference Manual December 9, 2006 1 Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 13:58:18 Model checkers Model checking Uppaal Model Checker
83	TEMPO INSTALLATION v0.2.1 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:10:46 Java platform Cross-platform software Java programming language Model checkers Uppaal Model Checker Java Windows Environment variable Path Computing Software System software
84	TEMPO UI INSTALLATION v0.1.2 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 13:56:12 Computing platforms Cross-platform software Model checkers Java programming language Uppaal Model Checker Java Windows Installation Computing Software Java platform
85	The Tempo Language User Guide and Reference Manual Nancy A. Lynch, Stephen J. Garland, Dilsun Kaynar, Laurent Michel, Alex Shvartsman Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Tec Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:10:46 Theoretical computer science Cellular automata Formal methods Computer science Model checkers Automata-based programming Automata theory Model checking Finite-state machine
86	TEMPO UI INSTALLATION v0.2.3 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:15:12 Computing platforms Model checkers Java programming language Uppaal Model Checker Java Windows Linux ACE Computing Cross-platform software Java platform
87	TEMPO INSTALLATION v0.2.2 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:12:05 Java platform Cross-platform software Java programming language Model checkers Uppaal Model Checker Java Windows Environment variable Path Computing Software System software
88	Model Checking Operator Procedures Wenhui Zhang Institute for Energy Technology, P.O.Box 173, N-1751 Halden, Norway [removed] Abstract. Operator procedures are documents telling operators what Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Applied mathematics Logic in computer science Concurrency Concurrent computing Model checking Formal verification Promela Verification and validation Computing Theoretical computer science Model checkers
89	TEMPO INSTALLATION v0.1.6 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:02:43 Java platform Model checkers Java programming language Uppaal Model Checker C shell Windows Java Path Environment variable Computing Software Cross-platform software
90	Verifying Relay Circuits using State Machines P.H.J. van Eijk Utrecht University, Department of Philosophy Heidelberglaan 8, Utrecht, the Netherlands http://www.phil.ruu.nl/home/pve Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Promela Relay Data SPIN model checker Switch Telephone exchange Correctness Communications protocol Model checkers Electrical engineering Electromagnetism

UPDATE